Section: New Results
A new collaboration with Bernard Serpette
A new collaboration with Bernard Serpette also aim at developing a formal models for the T-calculus semanticsĀ [27], [25]. Though at its birth, such an approach eventually reveals rather deep connection with Matsikoudis and Lee works on causal functions semanticsĀ [33], openning new perspectives towards higher-order timed programing.